Modélisation De Topologies De Réseaux D'interconnexion À Base De Multiplicités Multidimensionnelles

Résume Les SoC ou systèmes monopuces deviennent l'architecture principale d'exécution des applications embarquées. Ces systèmes sont composés sur une même puce de plusieurs processeurs, coprocesseurs et mémoires connectés par un réseau de communication (un bus dans les cas simples). Pour pouvoir assurer un haut débit d'échange d'information, les réseaux sur puce se complexifient. On parle d'ailleurs de NoC (Network-on-Chip) pour désigner des systèmes sur puce dont les composants sont reliés par un réseau complexe. Dans le cadre de la réponse au RPF MARTE de l'OMG, l'équipe WEST a proposé une notation à base de multiplicités multidimensionnelles pour modéliser des structures répétitives. Le pouvoir d'expression de cette notation est important. Elle permet d'exprimer facilement toutes les topologies à base de grilles. La question de savoir si on peut l'utiliser pour représenter l'ensemble des topologies utilisées dans les réseaux d'interconnexion reste ouverte. Ce mémoire présente une méthode de modélisation que nous pouvons utiliser pour une famille des réseaux d'interconnexion multi étage ce qui s'appellent les réseaux delta. Nous avons étendu les constructions auxiliaires dans la norme d'UML 2 parce que la norme existante manque de la sémantique pour exprimer la modélisation désirer. Dedication To my parents, For their dedication for the well being of their children. For their strength, will power and upbringing which has helped mold my character. For their courage and confidence and prayers which are always with me. To my brother, Who is always there for me and is my moral support and to whom I always look up to. IRQ 3 Remerciements L'ensemble de ces 6 mois de stage de recherche n'aurait pu se dérouler dans d'aussi bonnes conditions sans l'attention et les conseils de nombreuses personnes envers qui je suis redevable. Je tiens à remercier mes responsables de stage Jean-Luc Dekeyser et Pierre Boulet pour l'intérêt constant qu'ils ont montré pour mon travail. Cédric Dumoulin, pour les discussions concernant les Mécanisme générique d' UML 2. Alexis Muller, pour son conseil concernant la norme d'UML 2.